<!DOCTYPE HTML>
<div style="font-family: monospace"><div style="font-family: initial">INITIAL</div></div> 